home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 18223 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.7 KB
  1. Path: theory.lcs.mit.edu!wald
  2. From: wald@theory.lcs.mit.edu (David Wald)
  3. Newsgroups: comp.lang.java,comp.lang.c++,comp.lang.smalltalk
  4. Subject: Re: Will Java kill C++?
  5. Date: 19 Apr 1996 14:21:15 GMT
  6. Organization: Theory of Computation, LCS, MIT
  7. Distribution: world
  8. Message-ID: <WALD.96Apr19102115@woodpecker.lcs.mit.edu>
  9. References: <3134D499.653E@ix.netcom.com> <4ku8rq$pav@cubenx.cube.de>
  10.     <goochb.340.00156E50@rwi.com>
  11.     <BLUME.96Apr16103345@zayin.cs.princeton.edu>
  12.     <Dq0poC.3Iy@news.hawaii.edu>
  13.     <BLUME.96Apr18103856@zayin.cs.princeton.edu>
  14.     <DAVIS.96Apr18170149@grasse.ilog.com>
  15. NNTP-Posting-Host: woodpecker.lcs.mit.edu
  16. In-reply-to: davis@ilog.com's message of 19 Apr 1996 00:01:48 GMT
  17.  
  18. In article <DAVIS.96Apr18170149@grasse.ilog.com> davis@ilog.com
  19. (Harley Davis) writes:
  20. >In article <BLUME.96Apr18103856@zayin.cs.princeton.edu>
  21. >blume@zayin.cs.princeton.edu (Matthias Blume) writes:
  22.  
  23. >> It turns out that inheritance with overiding hasn't been successfully
  24. >> modelled yet in any clean semantic framework.  There has been some
  25. >> progress, but usually people stop just short of adding inheritance,
  26. >> because it messes everything up.
  27.  
  28. >Strange how such an unclean concept can be so useful in practice.  But
  29. >what can you do with people who just keep using a tool no matter how
  30. >many denotational semanticians say it's unfounded?
  31.  
  32. Well, last I saw there were still researchers trying to straighten out
  33. the semantics of local variables in Algol.  There are many levels of
  34. "clean" in semantics.
  35.  
  36. -David
  37.  
  38. -- 
  39. ============================================================================
  40. David Wald      http://theory.lcs.mit.edu/~wald/     wald@theory.lcs.mit.edu
  41. ============================================================================
  42.